Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
331	Composable Packages for Higher Order Logic Theories Joe Hurd Galois, Inc. Abstract Interactive theorem proving is tackling ever larger formalization and verification projects, and Add to Reading List Source URL: www.gilith.com Language: English - Date: 2010-07-21 04:29:06 Model theory Logic in computer science Automated theorem proving Concepts Philosophy of science Logic for Computable Functions Proof assistant Theory HOL Logic Science Mathematics
332	How to Break and Repair a Universally Composable Signature Functionality Michael Backes† and Dennis Hofheinz? Abstract. Canetti and Rabin recently proposed a universally composable ideal functionality FSIG for digital Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2003-11-19 16:37:53 Universal composability Digital signature Ring signature Model theory Structure Cryptography Public-key cryptography Cryptographic protocols
333	An extended abstract of this paper appears in the proceedings of the 11th ACM Conference on Computer and Communications Security—CCS 2004, Washington, DC, OctoberThis expanded version is available from the IACR Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2004-12-15 15:22:16 Computational complexity theory Coding theory Randomness Randomness extractor Extractor Advantage Ciphertext indistinguishability Leftover hash lemma Adversary model Cryptography Theoretical computer science Applied mathematics
334	T HE EASST N EWSLETTER A Summary of: Rule Execution in Graph-Based Incremental Interactive Integration Tools Add to Reading List Source URL: www-i3.informatik.rwth-aachen.de Language: English - Date: 2009-05-27 10:53:22 Mathematics Formal methods Abstract state machines Model checking Applied mathematics Graph rewriting Theoretical computer science Graph theory
335	Network Effects in Epidemiology Dr. Anthony H. Dekker Defence Science and Technology Organisation (DSTO) Canberra, Australia Abstract. Preparing for the spread of infectious diseases is an important govern Add to Reading List Source URL: members.ozemail.com.au Language: English - Date: 2011-04-14 01:48:18 Networks Network theory Structure Medical statistics Public health Epidemic model Influenza Pandemic Scale-free network Epidemiology Science Health
336	What makes the Difference? Basic Characteristics of Configuration Lothar Hotz HITeC e.V., University of Hamburg, Germany Abstract This paper focuses on configuration as a process Add to Reading List Source URL: kogs-www.informatik.uni-hamburg.de Language: English - Date: 2013-12-30 04:55:26 Systems engineering process Configuration management Systems science Systems theory Systems engineering Entity-relationship model Constraint satisfaction
337	Time counts. T.H. Ray† Abstract We construct a relativistic theory in which time plays an active physical role in the cosmology and self-organized sustainability of the universe. Our model, consistent with scale invari Add to Reading List Source URL: home.comcast.net Language: English - Date: 2008-10-12 08:20:11 Imaginary time Spacetime Quantum gravity Hilbert space Quantum field theory Infinity Space 3-sphere Universe Physics Quantum mechanics Dimension
338	Open Multi-Agent Systems: Agent Communication and Integration Rogier M. van Eijk, Frank S. de Boer, Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1999-06-11 10:44:36 Universal algebra Model theory Logic programming Abstract algebra Arity Term Structure First-order logic Mathematics Mathematical logic Logic
339	Computationally sound compositional logic for key exchange protocols ∗ Anupam Datta, Ante Derek, John C. Mitchell Dept. Computer Science, Stanford University {danupam, aderek, mitchell}@cs.stanford.edu Abstract Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 00:37:13 Dolev-Yao model Public-key cryptography Protocol composition logic XTR Cryptographic primitive Semantic security Secure channel Key-agreement protocol Commitment scheme Cryptography Cryptographic protocols Ciphertext indistinguishability
340	THE NATURAL LANGUAGE OF PLAYLISTS Brian McFee Computer Science and Engineering University of California, San Diego ABSTRACT Add to Reading List Source URL: bmcfee.github.io Language: English - Date: 2015-03-31 11:15:28 Playlist Markov model Maximum likelihood URGE Bigram Statistics Science Electronics Natural language processing Estimation theory Broadcasting

UPDATE